Formal Methods Seminar
Time: Wednesday 16:00 - 17:00 Location: Alon building (#37), room 201 Organizers: Liron Cohen, Dana Fisman, Gera Weiss
The Formal Methods Seminar takes place weekly and discusses various topics including logic, automata theory, verification, synthesis, programming languages, automated reasoning, and program analysis. The goal is to encourage interactions and discussions between students and researchers with interests in these areas. The seminar is open to everybody interested in formal methods.
Talks will be posted here and advertised on the formal_methods mailing list. To join, send an empty message to formal_methods-join@mlists.cs.bgu.ac.il
Interested in giving a talk? Feel free to contact us {cliron,dana,geraw}@bgu.ac.il
